/*
 * Playground.cpp
 *
 * Copyright 2013 Fabian Wenzelmann
 *
 * This file is part of Recognition-Procedures-for-Boolean-Functions.
 *
 * Recognition-Procedures-for-Boolean-Functions is free software: you
 * can redistribute it and/or modify it under the terms of the
 * GNU General Public License as published by the Free Software Foundation,
 * either version 3 of the License, or (at your option) any later version.
 *
 * Recognition-Procedures-for-Boolean-Functions is distributed in the hope
 * that it will be useful, but WITHOUT ANY WARRANTY; without even the implied
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General
 * Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with Recognition-Procedures-for-Boolean-Functions.
 *
 * If not, see <http://www.gnu.org/licenses/>.
 */

#include <iostream>
#include <fstream>
#include "bfr/CSVector.hpp"
#include "bfr/PosCSParser.hpp"
#include "bfr/DIMACSParser.hpp"

using namespace std;
using namespace bfr;

int main(int argc, char** argv) {
    PosCSParser parser;
    ifstream in;
    in.open(argv[1]);
    PosCS dnf = parser.parse(in, true);
    cout << dnf << endl;
    return 0;
}

